(include-book "list-utilities" :dir :teachpacks)

(defun remove-nth-element (n xs)
  (cons (nth n xs) (remove (nth n xs) xs))
)